Many theorists have addressed a central concern of current political theory by contending that the dithering intellectualism of left politics prevents genuine political action. Arguments and Fists confronts this concern by refuting these arguments, and reconciling philosophical debates with the realities of current activism. By looking at theorists such as Montesquieu, Kant, Rousseau, the book contradicts current academic debates and also goes against contemporary theory's image of the liberal political agent as a narrowly rational abstraction. Mika LaVaque-Manty (...) also argues that progressive political philosophy and political action go hand in hand. He then ventures past Kant and Rousseau to talk about specific environmental activism, finding middle ground between the two while asserting that the liberal urge for political reform stems from sound philosophical considerations about the nature of politics and isn't the "cowardly" afterthoughts some theorists have called it. Arguments and Fists then puts these theoretical insights to use, examining environmental justice movements and varieties of environmental radicalism, showing how liberal theory illuminates concrete contemporary political practices. (shrink)

This essay argues that aristocratic values and social practices were deployed in the transition to modernity, where equal dignity replaced positional honor as the ground on which an individual's political status rests. The essay focuses on dueling, one of the most important practices for the maintenance of aristocratic honor, at the moments of transition, primarily in the eighteenth and nineteenth centuries. The author argues that the practice has resources for an egalitarian refashioning. This is because it is a system for (...) the distribution of respect and because it involves social equals. At the same time, it is necessarily masculine, which limits the degree to which it can realize equality. The essay argues that the egalitarian refashioning emerged in part out of eighteenth-century thinkers' own reinterpretation of the practice. The focal theorist in the essay is Immanuel Kant, whose discussion allows us to weave together theoretical discussions of honor with the social practices of dueling. (shrink)

This paper explores the questions of equality and social justice for people with disabilities in sports and, by extension, other civil societal practices that involve the pursuit of excellence. I argue that such practices come within the purview of justice depending on the interplay between political activism, institutionalized anti-discrimination statutes such as the ADA, and the internal norms of a practice. There are many ways to interpret the ADA, and a successful argument for a right to a pursuit of excellence (...) requires that the ADA be understood as an anticaste principle. That interpretation allows me to show how even voluntary, ostensibly apolitical social practices can stigmatize groups of people ??? people with disabilities, for example ??? and how such practices can be refigured to bring about social justice. (shrink)

We generalize the result of Mekler and Shelah [3] that the existence of a canary tree is independent of ZFC + GCH to uncountable regular cardinals. We also correct an error from the original proof.

We characterize the classifiability of a countable first-order theory T in terms of the solvability of the potential-isomorphism problem for models of T.

We show in the paper that for any non-classifiable countable theory T there are non-isomorphic models and that can be forced to be isomorphic without adding subsets of small cardinality. By making suitable cardinal arithmetic assumptions we can often preserve stationary sets as well. We also study non-structure theorems relative to the Ehrenfeucht-Fraïssé game.

We discuss the relationships between the notions of $\kappa $ -cub game on $\lambda $ , $\kappa $ -cub subset of $\lambda $ , the ideal of good subsets of $\lambda $ and the problem of adding a $\kappa $ -cub into a given $\kappa $ -stationary subset of $\lambda $ . We also give a short introduction to the ideal of good subsets of $\lambda $.

Mobility robots may soon be among us, triggering a need for safety regulation. Robot safety regulation, however, remains underexplored, with only a few articles analyzing what regulatory approaches could be feasible. This article offers an account of the available regulatory strategies and attempts to theorize the effects of simulation-based safety regulation. The article first discusses the distinctive features of mobility robots as regulatory targets and argues that emergent behavior constitutes the key regulatory concern in designing robot safety regulation regimes. In (...) contrast to many accounts, the article posits that emergent behavior dynamics do not arise from robot autonomy, learning capability, or code unexplainability. Instead, they emerge from the complexity of robot technological constitutions coupled with near-infinite environmental variability and non-linear performance dynamics of the machine learning components. Second, the article reviews rules-based and performance-based regulation and argues that both will fail adequately constrain emergent robot behaviors. The article claims that controlling mobility robots requires a simulation-based regulatory approach. Simulation-based regulation is a novelty with significant theoretical and practical implications. The article argues that the approach signifies a radical break in regulatory forms of knowledge and temporalities. Simulations enact virtual futures to create a new regulatory knowledge type. Practically, the novel safety knowledge type may destabilize the existing conceptual space of safety politics and liability allocation patterns. (shrink)

A logical approach to Bell's Inequalities of quantum mechanics has been introduced by Abramsky and Hardy [2]. We point out that the logical Bell's Inequalities of [2] are provable in the probability logic of Fagin, Halpern and Megiddo [4]. Since it is now considered empirically established that quantum mechanics violates Bell's Inequalities, we introduce a modified probability logic, that we call quantum team logic, in which Bell's Inequalities are not provable, and prove a Completeness Theorem for this logic. For this (...) end we generalise the team semantics of dependence logic [7] first to probabilistic team semantics, and then to what we call quantum team semantics. (shrink)

Working with uncountable structures of fixed cardinality, we investigate the complexity of certain equivalence relations and show that if, then many of them are ‐complete, in particular the isomorphism relation of dense linear orders. Then we show that it is undecidable in whether or not the isomorphism relation of a certain well behaved theory (stable, NDOP, NOTOP) is ‐complete (it is, if, but can be forced not to be).

This book explores the origins of western biopolitics in ancient Greek political thought. Ojakangas's argues that the conception of politics as the regulation of the quantity and quality of population in the name of the security and happiness of the state and its inhabitants is as old as the western political thought itself: the politico-philosophical categories of classical thought, particularly those of Plato and Aristotle, were already biopolitical categories. In their books on politics, Plato and Aristotle do not only deal (...) with all the central topics of biopolitics from the political point of view, but for them these topics are the very keystone of politics and the art of government. Yet although the Western understanding of politics was already biopolitical in classical Greece, the book does not argue that the history of biopolitics would constitute a continuum from antiquity to the twentieth century. Instead Ojakangas argues that the birth of Christianity entailed a crisis of the classical biopolitical rationality, as the majority of classical biopolitical themes concerning the government of men and populations faded away or were outright rejected. It was not until the renaissance of the classical culture and literature - including the translation of Plato's and Aristotles political works into Latin - that biopolitics became topical again in the West. The book will be of great interest to scholars and students in the field of social and political studies, social and political theory, moral and political philosophy, IR theory, intellectual history, classical studies. (shrink)

I examine the problem of dirty hands, suggesting that there is a possibility for the individual decision-maker to do bad to achieve good consequences. According to Consequentialism, because the consequences are what counts in morality, then there seems to be no phenomenon of dirty hands. I will first present what Jean-Paul Sartre meant by the problem of dirty hands, after which I will describe how contemporary philosophers have identified that problem. Finally, I will argue that Consequentialism does not negate the (...) phenomenon of dirty hands on the grounds that consequences determine the ethical nature of action. Statements of “good” “bad”, or “the best” consequences are subjective and ambiguous in which case the phenomenon of dirty hands exists. Thus, action that produces positive consequences may not be morally justified. (shrink)

We study the categoricity of the classes of elementary submodels of a homogeneous structure.

In Western thought, it has been persistently assumed that in moral and political matters, people should rely on the inner voice of conscience rather than on external authorities, laws, and regulations. This volume investigates this concept, examining the development of the Western politics of conscience, from Socrates to the present, and the formation of the Western ethico-political subject. The work opens with a discussion of the ambiguous role of conscience in politics, contesting the claim that it is the best defense (...) against totalitarianism. It then look back at canonical authors, from the Church Fathers and Luther to Rousseau and Derrida, to show how the experience of conscience constitutes the foundation of Western ethics and politics. This unique work not only synthesizes philosophical and political insights, but also pays attention to political theology to provide a compelling and innovative argument that the experience of conscience has always been at the core of the political Western tradition. An engaging and accessible text, it will appeal to political theorists and philosophers as well as theologians and those interested in the critique of the Western civilization. (shrink)

In this paper, we introduce an AEC framework for studying fields with commuting automorphisms. Fields with commuting automorphisms are closely related to difference fields. Some authors define a difference ring (or field) as a ring (or field) together with several commuting endomorphisms, while others only study one endomorphism. Z. Chatzidakis and E. Hrushovski have studied in depth the model theory of ACFA, the model companion of difference fields with one automorphism. Our fields with commuting automorphisms generalize this setting. We have (...) several automorphisms and they are required to commute. Hrushovski has proved that in the case of fields with two or more commuting automorphisms, the existentially closed models do not necessarily form a first order model class. In the present paper, we introduce FCA-classes, an AEC framework for studying the existentially closed models of the theory of fields with commuting automorphisms. We prove that an FCA-class has AP and JEP and thus a monster model, that Galois types coincide with existential types in existentially closed models, that the class is homogeneous, and that there is a version of type amalgamation theorem that allows to combine three types under certain conditions. Finally, we use these results to show that our monster model is a simple homogeneous structure in the sense of S. Buechler and O. Lessman (this is a non-elementary analogue for the classification theoretic notion of a simple first order theory). (shrink)

In this paper we study a specific subclass of abstract elementary classes. We construct a notion of independence for these AEC’s and show that under simplicity the notion has all the usual properties of first order non-forking over complete types. Our approach generalizes the context of 0-stable homogeneous classes and excellent classes. Our set of assumptions follow from disjoint amalgamation, existence of a prime model over 0/, Löwenheim–Skolem number being ω, -tameness and a property we call finite character. We also (...) start the studies of these classes from the 0-stable case. Stability in 0 and -tameness can be replaced by categoricity above the Hanf number. Finite character is the main novelty of this paper. Almost all examples of AEC’s have this property and it allows us to use weak types, as we call them, in place of Galois types. (shrink)

We study classes of right-angled Coxeter groups with respect to the strong submodel relation of a parabolic subgroup. We show that the class of all right-angled Coxeter groups is not smooth and establish some general combinatorial criteria for such classes to be abstract elementary classes (AECs), for them to be finitary, and for them to be tame. We further prove two combinatorial conditions ensuring the strong rigidity of a right-angled Coxeter group of arbitrary rank. The combination of these results translates (...) into a machinery to build concrete examples of AECs satisfying given model-theoretic properties. We exhibit the power of our method by constructing three concrete examples of finitary classes. We show that the first and third classes are nonhomogeneous and that the last two are tame, uncountably categorical, and axiomatizable by a single Lω1,ω-sentence. We also observe that the isomorphism relation of any countable complete first-order theory is κ-Borel reducible (in the sense of generalized descriptive set theory) to the isomorphism relation of the theory of right-angled Coxeter groups whose Coxeter graph is an infinite random graph. (shrink)

In Maori thought, the possibility exists for a sort of lateral thinking that does not necessarily directly respond to another’s utterance or opinion but that considers some of the creative and arbitrary themes that arise. In this article, I employ this counter-colonial speculation, keeping in mind a Maori worldview whilst thinking in the wake of Elizabeth Rata’s “Ethnic Ideologies in New Zealand Education: What’s Wrong with Kaupapa Maori?” The speculative powers that Maori have at our disposal here have undoubtedly been (...) employed in a number of ways throughout Maori history; here, I use them in a way that does not directly respond to a prompt. Although Rata’s true aim is to critique kaupapa Maori, she inadvertently brings my attention to a particular characteristic of her writing—the suffix -ism. The fact that it saturates her writing in this article leads me to consider the broader issues associated with instrumentalist language, and the impact of the -ism on a Maori relationship with things in the world. It emerges that, although Rata may be controversial for Maori in her views, her writing is useful for some unintended reasons, as it prompts some thinking around the appropriateness of the -ism for Maori. (shrink)

In this article1 I will examine a metaontological problem, which has lately been thematized for example in [19]: what is the problem of universals? I will argue for a different solution from the one that has recently been popular, a solution that represents a return to an older view.

We show that if is a stable theory with ndop and ndidip, then -primary models over free trees are -minimal over the tree. As a corollary we show, for example, that if is a stable theory and for all nonempty , , then is superstable or it has dop or didip.

The Kimbanguists, whose church is based on the healing and proclamation ministry of Simon Kimbangu in 1921 in the Belgian Congo, challenge colonially defined borders and identities in multiple ways. Anticolonialism is in the DNA of Kimbanguism, yet in a manner that contests the colonially inherited dichotomy between religion and politics. Kimbanguists draw from holistic Kongo traditions, where the spiritual and material/political are inherently interwoven. Kimbangu’s home village, Nkamba, is the centre of the world for them, and Kongo culture and (...) the ancient kingdom form the backdrop of the Kimbanguist view of the new eschatological order to come. The reunification of the kingdom from the two Congo states and Angola will mark the inauguration of the new era. This will not, however, mean a splintering of the Democratic Republic of Congo but rather a removal of the colonial borders. That hints towards a Pan-African vision of a united Africa and even a universally united Black race that will play a central role in the eschatological salvation historical drama. The Kimbanguist vision also contains global dimensions, and their view of borders and identities is like Nkamba-centred ripples in water. This vision wipes away colonial borders and relativises ethnic, national and racial identities whilst strongly subscribing to a salvation historical narrative that places Africa and Africans in the centre. Contribution: This article contributes to the study of nationalism as well as of African Instituted Churches. The analysis of how the Kimbanguists relate to (Kinshasa) Congolese nationalism, Kongo ethnic identity and Pan-Africanism as well as of their global missional views reveals layers and complex patterns of relationship between all these. What facilitates the simultaneous subscribing to all these layers is an openness of identities (Kimbanguist national, ethnic, etc.), as well as a tendency to see the world as consisting of interdependent areas and human communities with their holy city, Nkamba, in the centre. (shrink)

We study the κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa $$\end{document}-Borel-reducibility of isomorphism relations of complete first order theories in a countable language and show the consistency of the following: For all such theories T and T′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T^{\prime }$$\end{document}, if T is classifiable and T′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T^{\prime }$$\end{document} is not, then the isomorphism of models of T′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...) \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T^{\prime }$$\end{document} is strictly above the isomorphism of models of T with respect to κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa $$\end{document}-Borel-reducibility. In fact, we can also ensure that a range of equivalence relations modulo various non-stationary ideals are strictly between those isomorphism relations. The isomorphism relations are considered on models of some fixed uncountable cardinality obeying certain restrictions. (shrink)

In this paper we prove a strong nonstructure theorem for κ(T)-saturated models of a stable theory T with dop. This paper continues the work started in [1].

Research suggests that when we treat our non-obligatory activities playfully, we are more likely to engage with them and derive meaningfulness from them. Play is of interest to the field of music education on at least two counts: the perceived relationship between play and music, and the perceived educational aspects of play related to human development and behavior. Using Johan Huizinga’s definition of play in Homo Ludens as a starting point, I interrogate the ways in which school music may militate (...) against play efforts in music education. I draw particular attention to the problem of group-based musical performance, competition, and how school music in many jurisdictions has capitulated to an impoverished paradigm of “getting it right.” I conclude with a brief appeal to re-center play as critically important to the aims of school music. (shrink)

Little is known about when corporate social responsibility (CSR) leads to a sustainability case (i.e., to improvements in environmental and social performance). Building on various forms of decoupling, we develop a theoretical framework for examining pathways from institutional pressures through CSR management to sustainability performance. To empirically identify such pathways, we apply fuzzy-set qualitative comparative analysis (fsQCA) to an extensive dataset from 19 large companies. We discover that different pathways are associated with environmental and social performance (non)improvements, and that pathways (...) to success and failure are for the most part not symmetrical. We identify two pathways to improved environmental performance: an exogenous and an endogenous one. We find two pathways to improved social performance that both involve integrating social responsibility into the core business. Pathways to nonimprovements are multiple, suggesting that failure can occur in a number of ways, while there are only a few pathways to sustainability performance improvements. (shrink)

If T is an unstable theory of cardinality <λ or countable stable theory with OTOP or countable superstable theory with DOP, λω λω1 in the superstable with DOP case) is regular and λ<λ=λ, then we construct for T strongly equivalent nonisomorphic models of cardinality λ. This can be viewed as a strong nonstructure theorem for such theories. We also consider the case when T is unsuperstable and develop further a result of Shelah about the existence of L∞,λ-equivalent nonisomorphic models for (...) such T. In addition, we show that a natural analogue of Scott's isomorphism theorem fails for models of power κ, if κω is regular, assuming κ<κ=κ. (shrink)

Where has all the hilarity gone – and, with it, the ethics of the dark? In this article, I engage with our metaphysical entities of darkness and nothingness. Undermining and re-declaring are more than just pleasurable exercise for my own indigenous group – Maori; they are ethical necessities that keep one’s certainties in check. Whether it is agreeable or uncomfortable, this acknowledgement of those first beings is necessary if we are to avoid taking ourselves too seriously. I then consider one (...) controversial statement about trauma and lend my perverse, indigenous sense to it, reinterpret it and recalibrate it in light of our inherent fallibility as human citizens who are always destabilised by our own metaphysical entities. This drive to undercut ourselves by making our statements contingent on other things, I shall argue, is an ethical one. (shrink)

Let U and B be two countable relational models of the same first order language. If the models are nonisomorphic, there is a unique countable ordinal α with the property that $\mathfrak{U} \equiv^\alpha_{\infty\omega} \mathfrak{B} \text{but not} \mathfrak{U} \equiv^{\alpha + 1}_{\infty\omega} \mathfrak{B},$ i.e. U and B are L ∞ω -equivalent up to quantifier-rank α but not up to α + 1. In this paper we consider models U and B of cardinality ω 1 and construct trees which have a similar relation (...) to U and B as α above. For this purpose we introduce a new ordering T ≪ T' of trees, which may have some independent interest of its own. It turns out that the above ordinal α has two qualities which coincide in countable models but will differ in uncountable models. Respectively, two kinds of trees emerge from α. We call them Scott trees and Karp trees, respectively. The definition and existence of these trees is based on an examination of the Ehrenfeucht game of length ω 1 between U and B. We construct two models of power ω 1 with 2 ω 1 mutually noncomparable Scott trees. (shrink)

We study how equivalent nonisomorphic models an unsuperstable theory can have. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues the work started in $[HT]$.

We study the class of elementary submodels of a large superstable homogeneous model. We introduce a rank which is bounded in the superstable case, and use it to define a dependence relation which shares many (but not all) of the properties of forking in the first order case. The main difference is that we do not have extension over all sets. We also present an example of Shelah showing that extension over all sets may not hold for any dependence relation (...) for superstable homogeneous models. (shrink)